positively derivable formula

См. также в других словарях:

• Bohr model — In atomic physics, the Bohr model created by Niels Bohr depicts the atom as a small, positively charged nucleus surrounded by electrons that travel in circular orbits around the nucleus mdash;similar in structure to the solar system, but with… …   Wikipedia

• Baptism — • One of the Seven Sacraments of the Christian Church; frequently called the first sacrament , the door of the sacraments , and the door of the Church Catholic Encyclopedia. Kevin Knight. 2006. Baptism     Baptism …   Catholic encyclopedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• hydrocarbon — hydrocarbonaceous, adj. /huy dreuh kahr beuhn, huy dreuh kahr /, n. any of a class of compounds containing only hydrogen and carbon, as an alkane, methane, CH4, an alkene, ethylene, C2H4, an alkyne, acetylene, C2H2, or an aromatic compound,… …   Universalium

• Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia